大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Zintl Phases [electronic resource] : Principles and Recent Developments

0
索取号:
作者:F盲ssler、 Thomas F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part III

0
索取号:
作者:Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part I

0
索取号:
作者:Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advances in Neural Networks-ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29鈥揓une 1, 2011, Proceedings, Part II

0
索取号:
作者:Liu、 Derong.、Zhang、 Huaguang.、Polycarpou、 Marios.、Alippi、 Cesare.、He、 Haibo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

0
索取号:
作者:Delgrande、 James P.、Faber、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Principles of Compilers [electronic resource] : A New Approach to Compilers Including the Algebraic Method

0
索取号:
作者:Su、 Yunlin.、Yan、 Song Y.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

0
索取号:
作者:Balduccini、 Marcello.、Son、 Tran Cao.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integer Programming and Combinatoral Optimization [electronic resource] : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

0
索取号:
作者:G眉nl眉k、 Oktay.、Woeginger、 Gerhard J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional and Constraint Logic Programming [electronic resource] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

0
索取号:
作者:Mari帽o、 Julio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

0
索取号:
作者:Omicini、 Andrea.、Sardina、 Sebastian.、Vasconcelos、 Wamberto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Science-Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

0
索取号:
作者:Kulikov、 Alexander.、Vereshchagin、 Nikolay.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings

0
索取号:
作者:Sillitti、 Alberto.、Hazzan、 Orit.、Bache、 Emily.、Albaladejo、 Xavier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Finite Volumes for Complex Applications VI Problems & Perspectives [electronic resource] : FVCA 6, International Symposium, Prague, June 6-10, 2011

0
索取号:
作者:Fo艡t、 Jaroslav.、F眉rst、 Ji艡铆.、Halama、 Jan.、Herbin、 Rapha猫le.、Hubert、 Florence.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings

0
索取号:
作者:Pardalos、 Panos M.、Rebennack、 Steffen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

GeoSpatial Semantics [electronic resource] : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings

0
索取号:
作者:Claramunt、 Christophe.、Levashkin、 Sergei.、Bertolotto、 Michela.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Applications of Declarative Programming and Knowledge Management [electronic resource] : 18th International Conference, INAP 2009, 脡vora, Portugal, November 3-5, 2009, Revised Selected Papers

0
索取号:
作者:Abreu、 Salvador.、Seipel、 Dietmar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类